#include "test_suite.h"
#include "sem_test.h"
#include "test_queues.h"
#include "os_io.h"
#include "test_timers.h"



void test_fly_os(void)
{
    test_semaphores();
    test_queues();
    test_timers();

    printf("Test suite complete\n");
    return;
}
